$userdo cp -v php.ini-production $sysconfdir/php.ini
